41. Bridge to abstract mathematics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Mathematics ;
42. Bridge to abstract mathematics
المؤلف: / by Ronald P. Morash
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Mathematics--1961
رده :
QA9
,.
M74
,
1987
43. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
44. Bridge to abstract mathematics : mathematical proof and structures
المؤلف: by Ronald P. Morash,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical,Mathematics
رده :
QA
.
M74
9
1987
45. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
المؤلف: P. Martin-Lof, G Mints, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
46. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
47. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
48. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
49. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
50. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
51. Categorical Topology
المؤلف: edited by Eraldo Giuli.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
52. Chapter zero : fundamental notions of abstract mathematics
المؤلف: Schumacher, Carol
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Problem solving
رده :
QA
9
.
S376
1996
53. Closure Spaces and Logic
المؤلف: by Norman M. Martin, Stephen Pollard.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
54. Closure properties and kripke models for fragments of heyting arithmetic
المؤلف: by: Morteza Moniri,^AMoniri, Morteza
المکتبة: (طهران)
موضوع: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
55. Commonsense Reasoning
المؤلف: \ Erik T. Mueller, IBM Watson Group and IBM Research.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
56. Commonsense reasoning /
المؤلف: Erik T. Mueller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
57. Computation, logic, philosophy : a collection of essays
المؤلف: Wang, Hao
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
58. Computation, logic, philosophy :a collection of essays
المؤلف: Wang, Hao
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: Mathematics ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W35
1990
59. Computation, logic, philosophy : a collection of essays
المؤلف: Wang, Hao, 1291-5991
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35W35
1990
